Başka bir önermeye geri götürülemeyen, kendisi tanıtlanamayan, ama öteki önermelerin tanıtlanmasına yarayan önerme. Genel olarak koyut (postulat) ile karıştırılmakta ya da aynı anlamda kullanılmaktadır. Ancak aralarında temel bir anlam farkı mevcuttur. Akarsu’ya göre, ikisi de kanıtlanamıyor olmakla birlikte, aradaki temel fark, belitin apaçık ve zorunlu olmamasıdır.